horicircle_on_hyperbolic(by mirror)

To manipulate this construction, download Cabri II Plus plug-in.